%------------------------------------------------------------------------------
% Copyright (c) 1991-2014, Xavier Leroy and Didier Remy.  
%
% All rights reserved. Distributed under a creative commons
% attribution-non-commercial-share alike 2.0 France license.
% http://creativecommons.org/licenses/by-nc-sa/2.0/fr/
%
% Translation by Daniel C. Buenzli
%------------------------------------------------------------------------------

\renewcommand{\bibname}{References}
\ifhtml{\renewcommand{\refname}{\aname{htocrefs}References}}
\begin{thebibliography}{9}
\cutname{references.html}
\ifhtml{\addcontentsline{toc}{chapter}{\ahrefloc{htocrefs}{References}}}

\bibcomment{OCaml}

\bibitem{Caml-Light}
Xavier Leroy, Michel Mauny. \emph{The Caml Light system, release 0.5.
Documentation and user's manual.} L-5 software, distributed by \textsc{inria}.

\bibitem{OCaml}
Xavier Leroy, Didier Rémy, Jacques Garrigue, Jérôme Vouillon and
Damien Doligez.
\emph{The {OCaml} system,
documentation and user's manual -- release 3.06.}
Documentation distributed by \textsc{inria} with the OCaml
system, August 2002.
\url{http://caml.inria.fr/pub/docs/manual-ocaml/}.

\bibitem{Cash}
Bruno Verlyck.
\emph{Cash, the Caml Shell -- release 0.20}.
Documentation distributed by \textsc{inria} with the Cash system, 2002. 
\url{http://pauillac.inria.fr/cash/}.

\bibcomment{Unix system programming}

\bibitem{man}
The Unix \texttt{man}ual, sections 2~and~3.

\bibitem{KP}
Brian Kernighan, Rob Pike. \emph{The Unix programming
environment}, Addison-Wesley.

\bibitem{R1} 
Jean-Marie Rifflet. \emph{La programmation sous Unix}. McGraw-Hill.

\bibitem{R2}
Jean-Marie Rifflet. \emph{La communication sous Unix}. McGraw-Hill.

\bibcomment{Unix kernel architecture}

\bibitem{BSD}
Samuel Leffler, Marshall McKusick, Michael Karels, John Quarterman.
\emph{The design and implementation of the 4.3 \textsc{bsd}
 Unix operating system},
Addison-Wesley.

\bibitem{Bach}
Maurice Bach. \emph{The design and implementation of the Unix operating
system}, Prentice-Hall.

\bibitem{Stevens/advanced}
Richard~W. Stevens.
\newblock \emph{Advanced Programming in the Unix Environment}.
\newblock Addison-Wesley, 1992.

\bibitem{Kay-Stevens/Practical}
Kay~A. Robbins and Steven Robbins.
\newblock \emph{Practical Unix Programming.
A Guide to Concurrency, Communication, and Multithreading}.
\newblock Prentice Hall, 1996.

\bibcomment{General knowledge on operating systems}

\bibitem{T3}
Andrew Tanenbaum. \emph{Modern Operating Systems},
Second Edition, Prentice-Hall, 2001. 
 

\bibitem{T1}
Andrew Tanenbaum. \emph{Operating systems, design and implementation},
Prentice-Hall.

\bibitem{T2}
Andrew Tanenbaum. \emph{Computer Networks}, Prentice-Hall.

\bibcomment{Typed communication of structured objects}

\bibitem{Dynamiques}
Xavier Leroy, Michel Mauny. \emph{Dynamics in ML}. Actes de \textsc{fpca}~91,
\textsc{lncs}~523, Springer-Verlag.

\bibitem{CML}
John H. Reppy. \emph{Concurrent Programming in ML}.
Cambridge University Press, 1999.     

\bibcomment{Threads programming}

\bibitem{Butenhof/threads}
David R. Butenhof. 
\emph{{P}rogramming with {\textsc{posix}} {T}hreads}.
Addison-Wesley, 1997.

\bibcomment{Applications}

\bibitem{Unison}
Pierce et al.
\emph{Unison File Synchronizer. Version 2.9.1.
User Manual and Reference}. 
Free software available from  
\url{http://www.cis.upenn.edu/~bcpierce/unison/}. 
\end{thebibliography}
